Second-order logic - PDFSEARCH.IO - Document Search Engine

Second-order logic
Results: 101

#	Item
91	What kind of logic is “Independence Friendly” logic? Solomon Feferman 1. Two kinds of logic. To a first approximation there are two main kinds of pursuit in Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2004-11-27 19:12:48 Semantics Predicate logic Quantification Philosophical logic Independence-friendly logic First-order logic Skolem normal form Second-order logic Branching quantifier Logic Mathematical logic Model theory
92	Frege’s Unofficial Arithmetic January 14, 2002 Add to Reading List Source URL: web.mit.edu Language: English - Date: 2005-07-22 19:59:03 Model theory Interpretation Philosophy of language Philosophy of mind Semantics Second-order arithmetic Function Peano axioms First-order logic Mathematical logic Mathematics Logic
93	The Girard-Reynolds Isomorphism (second edition) Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2007-03-02 12:28:49 Logic Lambda calculus Logic in computer science Dependently typed programming Proof theory Calculus of constructions System F Curry–Howard correspondence First-order logic Mathematical logic Mathematics Type theory
94	PDF Document Add to Reading List Source URL: www-mgi.informatik.rwth-aachen.de Language: English - Date: 2008-01-03 05:43:35 Finite model theory Universal algebra Complexity classes Descriptive complexity Structure FO NTIME Arity Second-order logic Theoretical computer science Computational complexity theory Mathematics
95	PDF Document Add to Reading List Source URL: www.jakubszymanik.com Language: English - Date: 2011-11-28 08:04:25 Predicate logic Model theory Semantics Formal languages Jaakko Hintikka Generalized quantifier First-order logic Branching quantifier Second-order logic Logic Mathematical logic Quantification
96	PDF Document Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2009-01-29 20:45:42 P versus NP problem Computational complexity theory Descriptive complexity theory P Mathematical logic Second-order logic L Complexity Structural complexity theory Theoretical computer science Applied mathematics Complexity classes
97	PDF Document Add to Reading List Source URL: www.contrib.andrew.cmu.edu Language: English - Date: 2003-09-30 13:07:13 Computability theory Proof theory Model theory Functions and mappings Elementary function arithmetic Peano axioms Primitive recursive function Primitive recursive arithmetic Second-order arithmetic Mathematical logic Mathematics Logic
98	PDF Document Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-10-02 10:18:56 Computability theory Proof theory Model theory Functions and mappings Elementary function arithmetic Peano axioms Primitive recursive function Primitive recursive arithmetic Second-order arithmetic Mathematical logic Mathematics Logic
99	PDF Document Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2002-11-18 18:14:48 Computability theory Effective descriptive set theory Functions and mappings Function Reverse mathematics Second-order arithmetic Constructivism Impredicativity Peano axioms Mathematics Mathematical logic Logic
100	PDF Document Add to Reading List Source URL: lumiere.ens.fr Language: English - Date: 2010-01-27 06:19:50 Semantics Predicate logic Quantification Analytic philosophers Mereology Plural quantification Second-order logic Ontological commitment Interpretation Logic Mathematical logic Mathematics

UPDATE